Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
101	6th International Workshop on Multiple Criteria Decision Making’15, March 22–24, 2015, Ustroń, Poland International Workshop on Multiple Criteria Decision Making (IWoMCDM) is a scientific event organized every two y Add to Reading List Source URL: www.iwomcdm.ue.katowice.pl Language: English - Date: 2014-08-28 07:55:23 Mathematical optimization Multiple-criteria decision analysis Utility Academia Multi-objective optimization Ustro Abstract management Goal programming Structure Knowledge
102	CS 224d: Assignment #3 Due date: :59 PM PST (You are allowed to use three (3) late days maximum for this assignment) This handout consists of several homework problems, as well as instructions on the “deliverabl Add to Reading List Source URL: cs224d.stanford.edu Language: English - Date: 2016-06-01 01:35:27 Computer programming Software engineering Computing Recursion Artificial neural network Computational neuroscience Mathematical psychology B-tree Tree Recurrent neural network
103	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
104	On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch Add to Reading List Source URL: webdb2011.rutgers.edu Language: English - Date: 2011-05-31 18:17:42 Computational complexity theory Mathematics Edsger W. Dijkstra Graph theory Algorithm Mathematical logic Theoretical computer science Shortest path problem NP Dynamic programming
105	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
106	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:13:16 Algebra Mathematics Linear algebra Matrix theory Binary operations Elementary arithmetic Mathematical notation Matrices Matrix Algebra over a field Array programming Multiplication
107	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
108	. CS711008Z Algorithm Design and Analysis Lecture 6. Basic algorithm design technique: Dynamic programming 1 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2015-12-15 05:30:54 Operations research Mathematics Applied mathematics Mathematical optimization Dynamic programming Divide and conquer algorithms Algorithm Recursion Optimal substructure Linear programming relaxation
109	HOMEWORK David F. Gleich January 5, 2016 purdue university · csnumerical analysis Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-04-28 13:04:54 Software Application software Mathematical software Cross-platform software Array programming languages Pedagogy E-learning Flipped classroom Numerical linear algebra SciPy NumPy Matrix
110	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database

UPDATE